home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.win32;
-
- import com.extensibility.rock.Platform;
- import java.io.IOException;
- import java.io.StringWriter;
- import java.io.Writer;
-
- class Win32Platform$WinTextAreaStringWriter extends StringWriter {
- Writer filter;
- // $FF: renamed from: sw java.io.StringWriter
- StringWriter field_0;
-
- Win32Platform$WinTextAreaStringWriter() {
- this.field_0 = new StringWriter();
- this.filter = Platform.getTextAreaWriter(this.field_0);
- }
-
- Win32Platform$WinTextAreaStringWriter(int var1) {
- this.field_0 = new StringWriter(var1);
- this.filter = Platform.getTextAreaWriter(this.field_0);
- }
-
- public void write(char[] var1, int var2, int var3) {
- try {
- this.filter.write(var1, var2, var3);
- } catch (IOException var5) {
- }
-
- }
-
- public void write(String var1, int var2, int var3) {
- try {
- this.filter.write(var1, var2, var3);
- } catch (IOException var5) {
- }
-
- }
-
- public void write(String var1) {
- try {
- this.filter.write(var1);
- } catch (IOException var3) {
- }
-
- }
-
- public void write(char var1) {
- try {
- this.filter.write(var1);
- } catch (IOException var3) {
- }
-
- }
-
- public StringBuffer getBuffer() {
- return this.field_0.getBuffer();
- }
-
- public String toString() {
- return this.field_0.toString();
- }
- }
-